/* Initial beliefs	*/
robo(1).
/* Initial goal */
!start.
!atacar.

/* Plans */
+!start : true <- ataque.

+!atacar: robo(X, pegouRefem) & robo(X) <- ataque; !!atacar.
+!atacar: roboInimigo(X, pegouRefem) & not robo(2,bloqueando,X) & emergencia <- bloqueie(X) ; !!atacar.
+!atacar: robo(2,bloqueando,X) <- ataque; !!atacar.
+!atacar: not emergencia <- ataque; !!atacar.
+!atacar: true <- !!atacar.
